#include <stdio.h>
#include <string.h>

int main() {
	char in[10000] = "";
	unsigned char c;
	while ((c = getchar()) != 255) {
		switch (c) {
			case '\n':
				strcat(in, "\\n");
				break;
			case '\"':
				strcat(in, "\\\"");
				break;
			case '\\':
				strcat(in, "\\\\");
				break;
			default:
				strncat(in, &c, 1);
		}
	}
	printf(
		"#include <stdio.h>\n"
		"int main() {\n"
		"	char str[10000] = \"%s\";\n"
		"	printf(\"%%s\\n\", str);\n"
		"	return 0;\n"
		"}\n"
		, in);
	return 0;
}
